Frege’s Logicism and the Significance of Interpretive Analysis
نویسنده
چکیده
The history of Western philosophy, at least as reflected in university curricula in the English-speaking world, is standardly divided into three major periods: ancient philosophy, early modern philosophy, and modern philosophy. Ancient philosophy is seen as inaugurated by Socrates, and the subsequent writings of Plato and Aristotle undoubtedly set much of the agenda for the development of Western philosophy. There were thinkers before Socrates – the so-called Pre-Socratics; but as their name suggests, their significance lies in their being forerunners to Socrates. Early modern philosophy is typically taken to start with Descartes; certainly, it is with Descartes that most university courses on early modern philosophy – and indeed, many introductory courses in philosophy – begin. Early modern philosophy may or may not be divided into ‘rationalism’ and ‘empiricism’, with individual courses sometimes carved up accordingly; but the period is generally regarded as culminating in the critical philosophy of Kant, who at least saw himself as synthesizing rationalism and empiricism. The importance of Kant is reflected in the courses that focus entirely on his philosophy, and indeed, on just his first Critique, the Critique of Pure Reason.
منابع مشابه
What is neologicism?
Logicism is a thesis about the foundations of mathematics, roughly, that mathematics is derivable from logic alone. It is now widely accepted that the thesis is false and that the logicist program of the early 20th century was unsuccessful. Frege’s (1893/1903) system was inconsistent and the Whitehead and Russell (1910–13) system was not thought to be logic, given its axioms of infinity, reduci...
متن کاملThe Positive Fragments of Grundgesetze
Generally, the theory, consisting of standard second-order theory and Hume’s Principle, is called Frege Arithmetic. However, Frege Theorem doesn’t amount to the establishment of Frege’s Logicism, because neither Hume’s Principle is considered as analytical truth, nor is second-order logic as logic in strict sense. Most challenges to second-order logic are related with its comprehension axiom, w...
متن کاملNatural Logicism via the Logic of Orderly Pairing
The aim here is to describe how to complete the constructive logicist program, in the author’s book Anti-Realism and Logic, of deriving all the Peano-Dedekind postulates for arithmetic within a theory of natural numbers that also accounts for their applicability in counting finite collections of objects. The axioms still to be derived are those for addition and multiplication. Frege did not der...
متن کاملThe Bulletin of Symbolic Logic
We discuss the typography of the notation used by Gottlob Frege in his Grundgesetze der Arithmetik. §1. Background to the Grundgesetze der Arithmetik. Grundgesetze der Arithmetik was to have been the pinnacle of Gottlob Frege’s life’s work — a rigorous demonstration of how the fundamental laws of classical pure mathematics of the natural and real numbers can be derived from principles which, in...
متن کاملThe Inferential Significance of Frege’s Assertion Sign
Frege’s celebrated distinction between judgments and their contents invites the Tractarian denigration of his assertion sign as merely indicating the holding or putting forth as true of a thought, for whatever its other merits the marking of such an event seems of little relevance to a thought’s inferential significance. However, in light of (a) Frege’s conception of a logically correct languag...
متن کامل